mini.texi needs to be rechecked.

diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE
index 4c7af189a54ae100b2d41a0ace1599a583d3ff4c..ed6e55b8fce3f4b943dbc0c2d8588d3cb9e851b0 100644 (file)
--- a/admin/FOR-RELEASE
+++ b/admin/FOR-RELEASE
@@ -149,7 +149,7 @@ macos.texi     -- contents need to be evaluated and see what is still
 maintaining.texi  -- cyd
 major.texi        -- cyd
 mark.texi         -- cyd
-mini.texi         -- cyd
+mini.texi
 misc.texi
 msdog.texi
 msdog-xtra.texi